CMBOX.360[360,GF] - www.SailDart.org

perm filename CMBOX.360[360,GF] blob sn#849799 filedate 1987-11-29 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEd  F#⊃p∂α`5 αUU_βT`u_βT`u⊂∧T@@λα∀@@λα∀@@λα∀ PλαT @_α∀ @_α∀ @_α∀P_αT@(α∀@(α∀↓TxπSatxπS`@8α∪@P8αS@@Hα∪@@Hα∪@@Hα∩a8∧∩A (¬∩A (¬∩a8∧⊃(D⊂FβapCi!⊂%∧i1_&A↓0&A↓ (&A↓0 &A↓0 &A↓0 &A↓0 &A↓ (&A↓  &A↓⊂(&D)Q&D)Q⊂&A↓⊂0&A↓0 &A↓0(&A↓@ &A↓@ &A↓@ &A↓@ &A↓0(&A↓0 &A↓⊂0%E	! %∧i1"Qλ1(GC`Hβ`%λ∧@ EπSb∧pβ↓thαA`d`αB T`αα@TXαB`DXαβDXαβ $PαR@DPα∩@DPα∩@DPα∩@DPαR`@h↓∩`@`α∩`PXα∪@PαSPHα∪ P8αS@` αSaU¬T!∃_β⊃(D ¬capC	 x%∧	1&AP0&Ap(&A↓(&A↓⊂ &A↓⊂(&A↓  &A↓  &A↓ (&A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓ (&A↓  &A↓  &A↓⊂(&A↓⊂ &A↓(&Ap(&AP0%D	!%βi0`"QλQ8πC`λ
∩BdP∩bThαα`Dhαα`Dhαα`Dhαα`Dhαβ$hα∪ @8↓∪ @0α∪ @0α∪!dhπ∪!dhπ∪ @0α∪ @0α∪ @8↓∪ Dhα∪ @h↓∪ @`α∪ @`α∪ @`α∪ @`α∩bdPRBtX
Q(D0¬capE	!0%¬I1(&A↓0 &A↓0 &A↓0 &A↓0 &A↓@⊂&A	P βIP αA	P αA	Ph&C)Ph&C)P αA	P αA	P βIP &A	P &A	P &A	P %B	 P%αI0@"Qλq0πC`@β`%λ∧ DxπSB∧hβ↓thαA@d`αBT`αα TXαB@DXαα`DXαβ$PαR@DPα∩@DPα∩@DPαα!∧Pαα↓$PαAa$Xαα↓∧Xαα`DXαB T`αα T`αBThαA@dhβ↓tpλ∪auλ∧ E⊂β`$("∩αq@∂π@⊂@αB	 P↓BI P↓BI0@αB	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	Qλ&D)Qλ&D)P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	0@αB	 P↓BI P↓BI0@αBλT $DBap∂"∧P	∩B$Xλ∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DXλ∩B$P	∩b∧("∩Ba@∂πA0P*β
@`*BK ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓	0 ∧A	 0∧↓	 0∧↓	 0∧↓	 0β↓I1&βIP`'BλT %F#⊃p∂!8∧∩A (¬∩A (¬∩a8∧∪ @Hα∪ @@αS @8αS @0αS @(αS @(α∪ @ αS @_αS @⊂αS @λβ∪!4hε∪!Dhβ@ Thβ`DhαAThα↓@Thα↓`Dhα↓`ThααDhααThαα Dhαα TX∧↓a∧P¬↓!$P¬↓!$X∧↓a∧("∪αa8∂π@⊂@%αI P%B	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P εIP ¬A	P ¬A	P ¬A	P ¬A	1(%¬I!0%EλT &Ec↓p∂`Xβ∩@`Xβ∩@pHβR@pHβSPHαSPHαS`8β∪`8β∪`8β∪`8β∪p(βSp(βSp(βS0λ↓A 0λ↓S0λα`@λ↓S0λα`@λ↓S0λα`@λ↓S0⊂↓@`0⊂↓S0⊂α @⊂↓S0⊂α @⊂↓S0⊂α @⊂↓S0_↓@ 0_↓S0_β@`4`↓@`p_↓S0_β@`4`↓AP ↓S0 αA4Pβ@@P⊂βR@p⊂α@@tPβ@`0_βR@p_↓@`t("∪C↓H∂π@⊂0∧α	 @βαI @βαI0@βα	P0∧↓	P8βA	P8βA	P@β↓	P@β↓	PHαA	P AP &A⊂ αA	P A @ &A  α↓	P ↓↓ 0 &A0 ↓A	P ↓A   &A@ ↓↓	P α↓ ⊂ &AP A	P αA⊂ &APH&A`@&A`@&Ap8&Ap8&A↓0%B`0%α@`(%α@`(%B↓_"Q	q_πC`(∧S!T`πRb∀XαA`TXαα DPαB TPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαB TXαα DXαA`TXλS↓thεSa∀("∀αa8∂π@⊂x%∧I!_%DiP ∧↓IP ¬↓)P ¬A	P ¬A	P ¬A	P ¬A	P ¬↓)P ¬↓	P ∧A)Qλ&D	Px&CIP &A	P &A	P &A	P &A	P &A	0@%αI P%BλT (EC∩_∂↓!∀hεS↓tXλR`P8αR`@Hα∩@PHαR@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@_α↓DPα@`_α∩@@λ∧@DPα!⊂α∩A`λα∩A⊂α DP∧A∀Xβ@A∧Xβa∧XλS↓thεSa  ↓∃ P⊂α∃A%0∧U`u@αQ(E⊂FβapC)!%∧)1λ&A`0&A↓ &A↓(&A↓⊂ &A↓⊂ &A↓⊂ &A↓(&A↓ &A`0&CiPp&C)Ph&AP(&A` &A`(&Ap &Ap &Ap &Ap ↓IP βA⊂ &Ap A	P βA⊂ %BPH%α@P8%α@`(%B↓_"Q
1(GC`8βA$pλS"$`	R`p(∧∩`@XαR@P`α∩@@hα∩@@hα∩@@hα∩@Ph↓∩`T`βS!$pε∪aE⊂¬∃@uHαR` hαR@@hα∩@@hα∩@@hα∩@@hα∩@@`αR@`HαRA(βRB4P	∩@@λ¬R`  βQ(E εβapE	!0%¬I!0%↓P αA	  αAP %↓P αA	  αAP %@@` βJ0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
P'C	p`(αHT *F#⊃p∂!8∧∩A (¬∩A (¬∩a8∧∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ PHαS@@Hα∪@P8αS``_β∀↓Uλ¬TA∃ αQ(E0F#apBp@%α@PP%α@PP%Bp@'↓↓⊂ '↓↓⊂ '↓↓⊂ '↓ p('Ap 'Ap 'Ap 'A P((↓P (↓P (↓P (↓ 0((A0 (A0 (A0 (A ⊂()↓⊂ )↓⊂ )↓⊂ )α*08)Aj08)Aj@(*↓*P_"Q
qHGC`β@`P_βR@p_α@`tPβ@`P_βR@p_α@`t`α↓P α∪@ αAD`α↓P α∪ 0 αA4h↓AP ↓S 0 αA4h↓AP ↓S @⊂β@@Dhα@p⊂α∪ @⊂β@@Dp↓@@0λ↓@@4p↓@@0λ↓@@4p↓@@0λ↓@@4p∧!∧p∧!∧p∧!∧xβ`dxβ`dxβ`dxβ`dxβ`dxβ`dxβ`eα↓ Eα↓ Eα↓ Eα↓ D("⊗β⊃H∂π@⊂@βB	 PαBI PαBI0@βB	`(βA)p βA	p(αA* αA
(↓A*⊂ ↓A
⊂(A* H)Aj08*↓*@(*↓*08)Aj H(A ⊂((A0 (↓ 0((↓P 'A P('Ap '↓ p(%Bp@%α@PP%α@PP%Bp@"Q⊃HGC`λ∧↓a∧P¬↓!$P¬↓!$X∧↓a∧pαBDxα↓`TxαA@Eα↓ UαAEλα@@U⊂α@E⊂¬∀a¬_∧∃e β∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E_∧∀A%⊂¬∀a∧("⊗BQ8∂π@1λ&∧iA_&∧I@ ∧A)@ ∧↓)@ ∧↓	@ βA)P⊂∧↓
`(*A*P *↓*0()A
 ()↓
⊂((↓* 'A)`(∧@I` ∧A	P(∧A	P ¬↓	@(¬↓	0(¬A	1 %¬)!(%DhT 0EC⊃(
A↓∧`¬RaTPπR@`(αR@`0αR@`8α∩`@@α∃`E_∧∀↓4pεS↓tX∧@`DPβA@@⊂↓∩@P@α DPαα @λα∩@@0β@ DP∩bD`	∪! α⊃(F⊂¬capAI @%α	08'↓	` '↓	` '↓	` ↓↓I`h'βI`x'↓`@('↓@`('↓! '↓!('↓↓  '↓↓  '↓↓  '↓↓  '↓↓  '↓↓  '↓!('↓! '↓@`('↓`@('βi`p'β)p⊂↓AHT 1Dba(
Bu¬SAdhλ∪p β∪P0β∩`P8β∩`@Hα∩@TPα∩@DPα∩@DPαR`DXαSP@↓Sp β∪"∧pπ∀↓%⊂β⊃(F F#apε↓JP@*B
`8,A⊂ ,A⊂ ,A
0↓A	pHA	`x&D	@(αα	0(βAI0 ∧A) (∧A)  ¬A	  ¬A	  ¬A	  ¬A	  ¬A	  ¬A	 (∧A)0 ∧A)0(βAI@(αα	Q_'∧ipHB
0α↓HT 2Dba(
A`dx¬∪ADhπ∪` αR`P8αR`@Hα∩@PHαR@@Xα∩B4P	RB4P	∩@TXαα`$XαB D`αBD`βAdhπSAU¬∀@d("→B!(∂πA⊂0)α
⊂P(β
 ↓↓J ↓↓J ↓↓J ↓A
 %CI!%∧	0p(↓
 (↓
 (↓
 (↓
 (↓
 (↓
 (↓
 %CI!%∧	0p"Qq8λαP8β`Uλ∪b$p	S P α@ T`αA@Pλ↓S@@α∪@@α∪@@α∪@@α∪P0αS @0α∪!dhεS↓T`ε∪@_↓∪D`πS"∧`	RbTXαB@dPαC TPαβ`DPαβ`DPαβ`DPαC TXβA`t`	S"∀pπT!∀("~β↓H∂π@⊂0%α	 @%Ai` '↓	` '↓	` '↓⊂8'β)`p'βi`0αA)`(βA	`(βA	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	0Hαα) X↓αi X↓αi0Hαα(T 4Eαqp∂↓`5αS`txβS`uαT 48Ra$Pε∩ADX¬T@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∩b$P
∩BDX	⊃(FPεD%⊃p∧j⊂((↓j8(↓j⊂()hpλ'α	PP&BI`H)A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 %A@ %↓@ (%↓@  %β	 X%B)P0"Q
1@GC`λβ∩A∧P∧∩`tpα∪@Dpα∪@Dpα∪@@ ¬S@@_εS@@_εS@@ ¬S@@(αS@@ αS@@_αS@@⊂αS@@λαSA∀p¬∪A4pβ Dpα@@Tpα↓Tpα↓ Dpα↓ Tpα↓@TX∧↓!∀P¬a4P¬a4X∧↓!∀("≠αA8∂π@⊂P%β	 `%Bj  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  %DI! %¬	1⊂"Q
QP
¬"Pλα@ P_αRAPλβRBdX
S P⊂β@Thα@`P_α∪ @ α↓Dhα↓@ α∪ @ α↓Dhα↓@ α∪ @ α↓Dhα↓@ α∪ @ α↓Dhα↓@ α∪ @ α↓Dhα↓@ α∪ @ α↓Dhα↓@ α∩`p⊂β@tP
∩C$Xβ@@`⊂βQ(Fpε"Q(A@ 8%∧)!⊂%DI`0αA)`(βA	`(βA	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	0Hαα) X↓αi X↓αi0Hαα(T 7E"q(
A`tx¬SAThπS`(β∩`PHαR`@Xα∩@PXαR@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@PXαR`@Xα∩`PHαS`(β∪!tpεSa5λβQ(G¬d↓(A@00%∧)!⊂%DI`8α↓)`0β↓)`(∧↓	`(∧↓)` ¬↓	` ¬↓	` ¬↓	` ¬↓	` ¬↓	` ¬↓	`(∧↓)`(∧↓	`0β↓)`8α↓)`x'βI`h'↓ 0'↓	` '↓	` '↓	` '↓	0P%β	 `%BHT 8Fβ2
A`` ↓∪a λα∪B∧hλS` ∧∩`P@β∩`@PαR@PPαR@@`α∩@@`α∩@@`α∩@@`α∩@@`α∩@@`α∩@PPαR`@PαR`P@β∪` ∧∪"∀pλ∪a λα∀ `_α⊗@EPα⊗@EPα⊗@EPα⊗@E8¬∃AE0ε∃a$("≤BQ8
E ⊂8α↓I HBI!(%E	p@↓↓Ip0α↓Ip(β↓	p('A	p 'A	p 'A	p 'A	p 'A	p %C	 p%βI0`"Q∞1_¬"P0β@`$hλ∪α∀X	∩@p(βR@@Xα∩@@Xα∩@PPα∩``H↓∩aD`εSAUε∩` Hβ∩@@PαR@@Xα∩@@Xα∩@`0βRB$PλRB∧X↓A∧("≥αa@∞π`⊂'A	p 'A	p 'A	p %D	!⊂%∧I1'A	p 'A	p 'A	p 'A	p ¬Ip ∧A	p ∧A	p ∧A	p ∧↓)p(βA
(α↓Jp(C
 P*↓HT :Fβ⊃(
@ `0β∩A ∧∩A ∧∩`p(βS@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@@@α∪@P0αS`P β∪b%	∀"∃_β@d("≥Bq@
E XBi XBi XBi XBi` βA	p αA	p αA	p αA
_α@j ↓A
 ↓A
 ↓A
⊂ A
⊂ A
⊂ A
 8)↓j 8)A*0()A*0("Q∞qHE"P∧"∧P∧"∧P∧"∧P∧"∧hα`P_α∪ @_α@`Dp↓@`P_↓S@0_α@`4pα pλα∪@@λβ@ Dpα pλα∪`0λ↓@ 0λ↓S`0λ↓@ 0λ↓S`pλβS`pλβS`pλβTP_αTP_αTP_αTP_αTP_αTP_αQ(G@F"Q(B @P%α` `%α` `%B @P'A P((↓@((↓  ((A ⊂ )α*08*↓*@()Aj H)↓⊂((A  ((↓ @('A ` %B@@H%β X%β X%B@@H"Q∂⊃HHαPλ¬a$Pε!DPε!DX¬a$xα↓`Dxα↓`DxαA Uα↓ Eα↓ Eα@`Uλα`Eλα`Eλα@ U⊂α E⊂∧T`u_βT`u αUU αUE α∀`U_α∀@Thα D`¬∪↓∀`∧S↓∧hβ∪@D("≡B10
E !%DI1⊂%D)0 βA)0 βA	@⊂βA*@()A* ((A*⊂ (↓)p('↓ p⊂&A p &↓! &↓↓⊂ %DI!_%∧i1λ"Q∧aH
πC`@αT u∧Sa$pα@@Tpα↓Dpα↓Dpα↓Dpα↓DpαaTpαadpα@!tx∧@!∀x∧`DxβAEαATxαA Dpβ@`Th∧`D`∧@@TXα@ Pλα∩`@_∧R@P_∧↓ $Pα↓ p α∩@@(β↓ DPα↓ P0α∩@@_∧↓TPRa λ¬∪↓_∧∪ P0β⊃(C
Ecap∧↓*H'Bi`h&A@00&↓ p(&↓↓⊂ %A!⊂(%A↓0 %A↓0 %↓!0(%↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓!0(%A↓0 %A↓0 %A!⊂(&↓↓⊂ &↓ p(&A@00'β)pX(α* ("Qε⊃λ
GC`@↓∀ Eλα∀Txβ∪@tX¬∩A4Pβ DXα@Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∪↓dXλ∩b∧`π⊃(C⊂
EcapβAip`&CiAλ&↓@P8%A! (%↓!@ %↓A0 %↓A0 %↓A0 %↓A0 %A↓0(-↓⊂(,↓*p(+↓*P(*↓*0()↓*0'AI`0∧IP0∧↓	@(¬↓	0(¬A	1 %¬)!(%DhT →E"qp∂↓A∧pε∪!d`λ∩``0β∩``@αR``Hα∩``Hα∪@Pα⊗ U@αU@e βT↓$x¬SaEε∃`eHαV@UXα∩`@`α∩@`Xα∩@`Xα∩@`PαR@`HαR``0β∪α∀hπSAE∧⊃(C Fβapπjp(+↓J`0*Aj@@*α
0H)↓ ⊂ )↓  (A   (↓ 0 (↓@ 'A @ 'AP '↓ P &A ` &Ap &↓ p %A! %E)!8%¬i1(,↓ ,↓
@`)CJ0p*βλT ~E"qp∂`0P↓Sα$`	∪α∀`πSD`α∪D`α∪D`α∪@λβS↓d`πSα∧`β↓ d`αBT`αα@Dh↓α`UXα⊗`DXαβDPβα`DPβα@TPβα@DPβα TXβ↓@d`λ∪!dpε∀↓∧("
BQ8∂πA8(αIp`'βIP0α↓IP β↓I@(β↓I@ βAI0(∧↓	0 %A 8%Ci1%∧I @αAI 0∧A) (¬A	 (¬A)  εA	  εA	  εA	  εA	  εA	 (¬A)0 ¬A	0(∧A)@0αAIPx'β)pX(AhT ≠E"qp∂"4P
RBTP
∩@@XαR@@PαR@@Pα∩` PαU`E0αU@E(αU E αUE_αT`E⊂αT@UλαT Uβ∀eαS`dxβ∪`dxβ∪`dxβ∀D("∞αQ8∂π@p8'Bi`h&Ci@0αAI@ ∧A	0(∧A)0 ¬A	0 ¬A	0 ¬A	0(∧A)@ ∧A	@0αAIPx'β)Px&∧)08αAi0(∧A) (¬A)  εA	  εA	  εA	  εA	 (¬A)0(∧A)@0αAIPx'β)pX(AhT ≤Eαqp∂↓`dx¬∪ADhπ∪` β∩`P@αR`@Pα∩@PPαR@@`α∩@@`α∩@@`α∩@@`α∩@@`α∩@PPαR`@PαR`P@β∪` ∧∪"∀pπSaeλβ@EHα∪@@αR``8α∩``0αR``0α∩`` β∪↓dhε∪A%β⊃(Cx	¬#apαα)P`%Ci!λ%↓@`0%↓A %↓A %A↓⊂ +A*p )B
 @(B
@(↓
 (↓
 (↓
 (@Hp_(↓	p0'AIp0'AJ "Q∧⊂0λπC`λα∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dXα∩`DXα∩`DXα∩`DXα∩`D`↓⊃`4Xα∩@dPβ∩@dPβ∩`D("	a↓⊂επ@⊂ %↓I 8%α	 @%Ai` &A)@(%A) (%↓	0⊂"Q¬hID P↓∀@Uλβ∀dxβ∪`DpαS Thα∪T`α∩`TXα∩`DPαR@DPα∩@DPα∩@DPα∩@DPα∩@DPαR`DXα∩`T`α∪Thα∪ TpαS`Dxβ∀eλβ∀@U ↓⊃(BHεD∧b⊂@I (%↓I00&↓I` '↓)p((↓
((A
⊂()↓
  )↓*0 )A
0 )A
0 )A
0 )A
0 )↓*  )↓
⊂((A
((↓	p('↓)` &↓I00%↓I (%@HT ∃∧ba(
α5⊂α∀@E⊂↓R` (↓A $Pα@`0_αR@`⊂↓@@dXλRb∀hεSa∀x∧S!TXλRB4Pβ@0⊂β∩`@_↓@`E⊂↓T@5⊂α∀@E_↓⊃(BX	EB!@∧@J  )↓
  )↓
  )↓	1λ%∧i!_%D*  )↓
  )↓
  )↓
  )@HT ⊗ααXβ`4`αR`tXβR`t`β∪ T`αR`TPαR@DX↓⊃(BpβD`0↓i0(%↓i 8%↓i0(&hT ↔Dbb0⊃∧%Hα⊗ E@αVE8αU`E0αU@E0α∃ U(α∃U α∀`U_α∀`E⊂αT@EλαT EαTEα∪`Txα∪@Tpα∪ Thα∪ D`αSDXαR`DPαR@DPα∩`$("∞@q
E  _%A) 8%↓i 8%A)@_#Ai@_%A) 8%↓i 8%A)@_"Qπ0@λεBP_↓STXβR`tXβSTh↓Q`th↓STXβR`tXβSdhαSTXαR@TPα∩`$("∂α10Fb⊂,↓*p0*Aj@8)↓j⊂8'Ai`8&↓i08%↓I 0%Ai@8'↓ip8(Aj 8*↓jP8+AK(-HT ≡Ecp"TPRBtX
Q`dX
RBtPRbT("∂B10F`⊂⊂%↓) 0%Ai@8'↓ip8(Aj 8*↓jP8+AJp0*Aj@8)↓j⊂8'Ai`8&↓i08%↓I (%@HT -Cαr0⊃!$Pε∩ADP¬R@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DP¬RADPε∩a$("↔!@x∪λ@⊂P%β	 `%Bj  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  %Bi `%β	0P"Q@λββ`(↓∪@DhαSTXαR@TPα∩@tP∧∩A∧XβSdhα⊃(Bh	E@1λD)!_%∧i1λ"QA(Fβ0H↓T@U⊂αT@UλβT u∧T@λα∀@λα∪`PλαS`@_α∪@P_αS@@(α∪@@(α∪ P(αS @8α∪P8αS@Hα∪@Hα∩`PHαR`@Xα∩@PXαR@@hα∩@@hα∩` x↓⊃(Ax
Ec↓X@Ap⊂%↓↓P %↓↓P %↓!0(%A↓0 %A!⊂(&↓↓⊂ &↓↓⊂ &↓ p(&Ap &A P('↓P '↓P '↓ 0('A0 'A ⊂((↓⊂ (↓⊂ (α*⊂8(Aj ()↓* ()@hT ?¬cX
↓PX↓∪ pHα∪↓⊂@α∪↓ 8α∩`P⊂αA@DXα↓P αR@P(α↓DPα↓@P⊂αR@@8¬∩@@@∧R@@HβR` XαQ(D
EcapβAipX'β)Px&A@00&↓ ⊂(A)@ A`⊂ %Di1_%B ⊂H%α 0H%αP@%αP@%`⊂_β@`⊂_%`⊂_β@`⊂_%`⊂_β@`⊂_%`⊂_β@`⊂_%`⊂_β@`⊂_%αP @i @αA⊂_%α 0H%B ⊂P%E	1_&↓⊂p&↓ ⊂(↓↓IP0αα	Q⊂'∧	ph(BλT .∧bb0⊃ $Pα∩@DPαR`DXαSD`αS Dhα∪ Tpα∪@Txα∪`Uα∀EαT EλαT@E⊂αT`E_α∀`U α∃U(α∃ U0α∃@E0αU`E8αVE@αV EHα⊗@$("α10
ε!⊂⊂)↓
⊂0(α	pH'↓ ⊂(&A 0(&↓ P(%A p(%↓!⊂(%↓↓0 %↓!⊂(%A p(&↓ P(&A 0('↓ ⊂('B*@(AJ  )@HT =Eαr(⊃β`E0∧∃!∃ ∧T`u⊂αT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@EλαS@tX∧RA∀P∧Ra∀pβT U⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@U_βU↓∃(∧UA¬Hα⊃(Gh
¬dR⊂A	 @%α)0H'↓j⊂()↓
  )↓
  )↓
  )↓
  )↓
 ()Aj@H*B*PH*α*08)↓*  )↓
  )↓
  )↓
  )↓
  (A)`8%B) H%α	0 "Q∂@ πID λ↓∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DX↓⊃(0β∂x␈␈␈p0αox␈␈␈/x␈␈␈PλλRB4P	Rb∀("λAQ_λπ@⊂ ↓A	 0AI 0AI 0AI 0AI 0AI 0AI 0AI 0AI0 ↓A	0 ↓A	0 ↓A	0 ↓A	0 ↓A	0 ↓A	0 ↓A	@⊂α@HT ↓πcP_¬@#TP∂RCtX∞Q(APα∧ε2_@I  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0⊂"Q1x∞Ld0x↓⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗DX∞RCtP∂RcU@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗ $("βcqh~I↓` +AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0%G)!x%πi1h+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0,↓λT 
H#c_⊃D%Hα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ DX∂RD∀P⊂RD∀P⊂RcuHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EHα⊗ EP↓⊃(@0λG&2_@I  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %∧	!λ%∧)!%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0⊂"Q↓↓⊂λd0x↓⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗DXλRB$P	∩b∃@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗ $("↓cqh
B`⊃h%πi!x%G+ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,@HT 
πcQX⊃C`%@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α∩cTP∂RCtX∞Q(AλG#0XCi!λ%∧)!%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0⊂"Qα⊃⊂λεa0λλ∩B$P	∩b∃@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗ $("	α!
Hap⊂,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓	1λ%∧I!⊂%DλT ∩D#QX⊃@ $Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩B∧PλRB∀XπQ(Gx	EfR A↓⊂ %↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%↓@p0%A↓⊂ "Q↓R∂πc⊂λ∂∩D∧P⊂∩D∧P⊂∩cd8	RcdP⊂∩D∧P⊂∩D∧X∂⊃(A0F&R AP α↓	 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I 0↓A@ 0%↓@00↓↓I0 αA@ "Qβb∂
∧Pλ∞RCtP∂RCtP∂RcT8¬RcdP⊂∩D∧P⊂∩D∧X∂⊃a$X∞RCtP∂RCtP∂RcT("βIs(∀	 ∧'RH∧x%P	T` ∩iT$S(∧H#Bjs(,k∪λ,L+"x-K(pP2εlQH2F,a83E-↓_"QRλ∂↓!@λ∂RD∀P⊂RD∀P⊂Rct("¬ aλ~I⊂ %↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%AλT 	∧cahεα`u⊂¬T↓Txπ∪AthπS↓D`∧Ra∧XβRA∧PβR@tPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dXα⊃(A_
∧#P`B	 X%β) p%βi0x(αj H*α
P@*B
`8+AJp8+Ajp8,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K⊂ "QβA_∂π$@λα∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@tPβRA∧XβRa∧`∧S↓DhπSAtxπ∀↓U⊂¬U t("π"Aλ∞I↓p ,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓Jp8+Ajp8+AJ`8*B
P@*α
 H(αi0x%βi p%β) X%BλT Fc1λ	α  (↓∀@@_α∀ P_αT @(α∀P(αS`P8αS"TXRC4P
Rc∀h
S`P8αTP(αT @(α∀ P_αT@@_α∀` (↓⊃(AH∂εb⊃⊂	@K@ .↓+P .A+`(%FI!h%πI!p%π)1P/↓+P(.A@(.↓P⊂"Qqp∂∧" H↓∀@EλαT EαS`Th
∩cTP∂∩CdX∞S#$xαTUλα∀ U⊂α∀`$(""A@~I! (AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0(AJ⊂0%@`00↓@i (↓↓@ (%↓@⊂0AI1⊂&CI``'BIpP(α
@(AJ⊂0(AJ  )↓
0⊂*(T /¬ββ(⊃B@∃_↓∀@E⊂α∀ eλβ∀ e∧∀↓∧x¬∪a$pε∪!dX	∩@`λβ dPα@@`⊂αR`0_β`5λβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ eλβ∀ e⊂α⊃(B_πE!Qα↓i@X%C)0p%βi x%βi x%βi x%C)0h&αiPH"Q↓⊃@∂β" βS↓4XεRadPRC∧P∩C∧P∩BtXεRaT`¬S!∀("αAq(⊂I` 'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AI`8&αi0h%CI x%βi x%βi x%βi0h%C)@X&B(T ¬FαPhλβ u(¬U↓U π∩btP∩C∧P∩C∧XU↓U εU!50∧Q(@`πE$⊃α↓i@X%C)0p%βi x%βi x%βi x%C)0h&αiPH'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AJ "Q∧∧(|αX(∀∂J]`←@OX≤OX≤?␈␈xs~␈␈␈xw∩⎇H⊃Pαf0α_{⊂C ∧→L`⊃o0!F@@3→@>>d 
↓ε03λ/=HQPαf0≥λ{⊃C ∧→L`Fo0#F@@3→@↓$>d@
↓ε03_=I⊃Pαf07X{∩C ∧→L`x∂0%F@@3→@αβ}d`
↓ε03 F=IQPαf0MX{∪C ∧→L`↓2O0'F@@3→@β>e
↓ε030P=J⊃Pαf0o8{∀C ∧→L`↓p/0)F@@3→@β␈>e 
↓ε03@3=JQPαf0↓x{∃C ∧→L`α'/0+F@@3→@∧k>e@
↓ε03P,=K⊃Pαf0↓,H{⊗C ∧→L`αdO00F@@3→@¬←}f⊂
↓ε03Xg=L1Pαf0↓C_{→β ∧→L`β∞/02F@@3→@ε6}f0
↓ε03h⊂=LqPαf0↓Vh{~β ∧→L`β;O04F@@3→@π⊃}fP
↓ε03pE=M1Pαf0↓nH{≠β ∧→L`βjO06F@@3→@πf>fp
↓ε03↓	=MqPαf0αεX{≤β ∧→L`∧↔/08F@@3→@λH}g⊂
↓ε03↓λH=N1Pαf0α≤h{≥β ∧→L`∧C∂0:F@@3→@	→}g0
↓ε03↓⊂`=NqPαf0α1λ{≡β ∧→L`∧po0<F@@3→@	v>gP
↓ε03↓  =DaPαf0αHλ{β ∧→L`¬ o0_F@@3→@
↑>c⊂
↓ε03↓(a=F1Pαf0αax{
β ∧→L`¬O/0~F@@3→@5}c0
↓ε03↓8~=FqPαf0αyx{∞β ∧→L`¬⎇O0≤F@@3→@∃}cx
↓ε03↓@a=D⊃Pαf0β⊂H{	c ∧→L`ε)∂0∀ε@@3→@Z>bH
↓ε03↓H←=E!Pαf0β!_{
c ∧→L`εK/0⊗ε@@3→@
!}bp
↓ε03↓PS=EqPαf0β+X{∞C ∧→L`εb∂0≥F@@3→@
M>c`
↓ε03↓X2=GQPαf0β9X{∂C ∧→L`εvO0-F@@3→@
z}eh
↓ε03↓` =L↓Pαf0βI({# ∧→L`π⊗o0αε@@3→@∞1>ax
↓ε03↓h⊃=OaPαf0βWx{⊂β ∧→L`π7o0.ε@@3→@∂⊃}`
↓ε03↓pN=O1Pαf0βn_{∨# ∧→L`πfo0>ε@@3→@∂b>a@
↓ε03↓xo=D!Pαf0∧{C ∧→L`λ	?0
ε@@3→@⊂⊗↑`_
↓ε03αd⎇AqPαf0∧∪@{εc ∧→L`λ5?0βε@@3→@⊃ε↑`@
↓ε03α⊂D⎇@qPαf0∧/@{¬β ∧→L`λf␈0λε@@3→@⊃]↑aλ
↓ε03α_Z⎇DAPαf0∧? {	# ∧→L`	ε?0?F@@3→@∩≤↑`h
↓ε03α((⎇BaPαf0∧W⊂{πC ∧→L`	W←0πε@@3→@∪;≡`(
↓ε03α8⊂⎇BQPαf0∧s {∧C ∧→L`	t␈0	F@@3→@∪z↑a`
↓ε03α@⊗⎇CQPαf0¬π{¬c ∧→L`
⊗?0F@@3→@∀=↑ex
↓ε03αH⊂⎇@⊃Pαf0¬∀`{↔C ∧→L`
9?0⊃F@@3→@∃∩↑`H
↓ε03αP6⎇A!Pαf0¬){αc ∧→L`
[?0εε@@3→@∃?↑b
↓ε03αX$} ∃T⊂=xow{⎇x